r:Rng. rxmn  Mon 

latex

Up	rings 1
Definitions of Statement	Rng, rxmn
Definitions	rxmn, t  T, x:A. B(x), P & Q, P  Q, Rng
Lemmas	rng wf, rng all properties, rng one wf, rng times wf, rng le wf, rng eq wf, rng car wf, mk mon